Free shipping on all orders! No minimum purchase required.
Types for Proofs and Programs
by Hank Barendregt (Editor), Tobias Nipkow (Editor)
